21. Computing in systems described by equations

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Interpreters )Computer programs(,، Equations,، Programming languages )Electronic computers(

رده :
QA
76
.
L28
Vol
.
58

22. Coroutines : a programming methodology, a language design, and an implementation

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : ، Coroutines )Computer programs(,، Programming languages )Electronic computers(

رده :
QA
76
.
L4
v
.
95

23. Coroutines : a programming methodology, a language design, and an implementation

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Coroutines )Computer programs(,، Programming languages )Electronic computers(

رده :
QA
76
.
6
.
M3595
1980

24. Coroutines : a programming methodology, a language design, and an implementation

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Coroutines )Computer programs(,، Programming languages )Electronic computers(

رده :
QA
76
.
L28
Vol
.
95

25. Designing systems programs

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , LANGUAGE & LANGUAGES-DATA PROCESSING , COMPILING )ELECTRONIC COMPUTER

رده :
QA
76
.
5
.
G35

26. Distributed Programmin

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Electronic books,Electronic Data Processing, Distributed Processing,Computers, Systems Architecture, Distributed Systems & Computing

رده :
E-BOOK

27. ESOP '88

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer programming-- Congresses.,Programming languages (Electronic computers)-- Congresses.

رده :
QA76
.
6
.
E976
1988

28. Essential Linux fast

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Linux (Computer file),Linux.,Operating systems (Computers)

رده :
QA76
.
76
.
O63
I263
2001

29. Expert advisor programming :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Expert systems (Computer science),Foreign exchange -- Computer programs.,Programming languages (Electronic computers)

رده :
Z52
.
5
.
M52
A537
2010

30. Finite representations of CCS and TCSP programs by automata and Petri nets

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : Distributed processing ، Electronic data processing,، Petri nets,، Programming languages )Electronic computers(

رده :
QA
76
.
9
.
D5
.
T39
1989

31. Finite representations of CCS and TCSP programs by automata and Petri nets

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Electronic data processing -- Distributed processing,، Petri nets,، Programming languages )Electronic computers(

رده :
QA
76
.
9
.
D5
T39
1989

32. Finite representations of CCS and TCSP programs by automata and Petri nets

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Electronic data processing -- Distributed processing,، Petri nets,، Programming languages )Electronic computers(

رده :
QA
76
.
L28
Vol
.
369

33. Flow analysis of computer programs

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Electronic digital computers-- Programming,، Flowgraphs,، Computer algorithms

رده :
QA
76
.
6
.
H4

34. Formal Methods and Software Development :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.

35. Foundations of Programming Languages /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science.,Microprogramming.,Programming languages (Electronic computers),Computer science.,Computer Science.,Control Structures and Microprogramming.,Mathematical and Computational Engineering.,Microprogramming.,Programming languages (Electronic computers),Programming Languages, Compilers, Interpreters.,Computer science.,Microprogramming.,Programming languages (Electronic computers)

رده :
QA76
.
76
.
C65

36. Foundations of computer programming

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Computer programming. ; Programming languages (Electronic computers) ; Browsers (Computer programs) ;

37. Foundations of programming languages /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Programming languages (Electronic computers),Programming languages (Electronic computers)

رده :
QA76
.
7

38. Fundamentals of Programming Languages

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Programming languages (Electronic computers)

رده :
QA76
.
7
B945
1983

39. Generalized quantifiers and computation

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Programming languages (Electronic computers), Congresses.

40. Grep :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Electronic information resource searching-- Computer programs,Programming languages (Electronic computers),Utilities (Computer programs),Grep (Computer language program)

رده :
QA76
.
76
.
U84
B36
2009